---

procedural deduction system

英 [prəˈsiːdʒərəl dɪˈdʌkʃn ˈsɪstəm] 美 [prəˈsiːdʒərəl dɪˈdʌkʃn ˈsɪstəm]

【计】过程演绎系统

计算机

---

---